/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

html {
  background: -moz-Dialog;
  font: message-box;
}

body {
  padding: 0 2em;
  margin: 0;
  min-width: 45em;
  margin: auto;
}

div.ancillary {
  margin: 0.5em 0;
  -moz-user-select: none;
}

div.section {
  padding: 2em;
  margin: 1em 0em;
  border: 1px solid ThreeDShadow;
  border-radius: 10px;
  background: -moz-Field;
}

div.opsRow {
  padding: 0.5em;
  margin-right: 0.5em;
  margin-top: 0.5em;
  border: 1px solid ThreeDShadow;
  border-radius: 10px;
  background: -moz-Field;
  display: inline-block;
}

div.opsRowLabel {
  display: block;
  margin-bottom: 0.2em;
  font-weight: bold;
}

.opsRowLabel label {
  margin-left: 1em;
  font-weight: normal;
}

div.non-verbose pre.entries {
  overflow-x: hidden;
  text-overflow: ellipsis;
}

h1 {
  padding: 0;
  margin: 0;
  display: inline;  /* allow subsequent text to the right of the heading */
}

h2 {
  background: #ddd;
  padding-left: .1em;
}

h3 {
  display: inline;  /* allow subsequent text to the right of the heading */
}

a.upDownArrow {
  font-size: 130%;
  text-decoration: none;
  -moz-user-select: none;  /* no need to include this when cutting+pasting */
}

.accuracyWarning {
  color: #d22;
}

.badInputWarning {
  color: #f00;
}

.treeline {
  color: #888;
}

.mrValue {
  font-weight: bold;
  color: #400;
}

.mrPerc {
}

.mrSep {
}

.mrName {
  color: #004;
}

.mrNote {
  color: #604;
}

.hasKids {
  cursor: pointer;
}

.hasKids:hover {
  text-decoration: underline;
}

.noselect {
  -moz-user-select: none;  /* no need to include this when cutting+pasting */
}

.option {
  font-size: 80%;
  -moz-user-select: none;  /* no need to include this when cutting+pasting */
}

.legend {
  font-size: 80%;
  -moz-user-select: none;  /* no need to include this when cutting+pasting */
}

.debug {
  font-size: 80%;
}

.hidden {
  display: none;
}

.invalid {
  color: #fff;
  background-color: #f00;
}

/* Desktop-specific parts go here. */

.hasKids:hover {
  text-decoration: underline;
}

